Minimal Orderings and Quadratic Forms on a Free Module over a Supertropical Semiring
نویسنده
چکیده
This paper is a sequel to [6], in which we introduced quadratic forms on a module over a supertropical semiring R and analyzed the set of bilinear companions of a single quadratic form V → R in case the module V is free. Any (semi)module over a semiring gives rise to what we call its minimal ordering, which is a partial order iff the semiring is “upper bound.” Any polynomial map q (or quadratic form) then induces a pre-order, which can be studied in terms of “q-minimal elements,” which are elements a which cannot be written in the form b+ c where b < a but q(b) = q(a). We determine the q-minimal elements by examining their support. But the class of all polynomial maps (in up to rank(V ) variables) is itself a module over R, so the basic properties of the minimal ordering are applied to this R-module, or its submodule Quad(V ) consisting of quadratic forms on V . This is a significant initial step in the classification of quadratic forms over semirings arising in tropical mathematics. Quad(V ) is the sum of two disjoint submodules QL(V ) and Rig(V ), consisting of the quasilinear and the rigid quadratic forms on V respectively (cf. [6]). Both QL(V ) and Rig(V ) are free with explicitly known bases, but Quad(V ) itself is almost never free.
منابع مشابه
Supertropical algebra
We develop the algebraic polynomial theory for " supertropical algebra, " as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of ghost elements, which play the key role in our structure theory. Here, we work in a slightly more general situation over an arbitrary semiring, and develop a theory which contains the analogs of the basic theo...
متن کاملApplications of quadratic D-forms to generalized quadratic forms
In this paper, we study generalized quadratic forms over a division algebra with involution of the first kind in characteristic two. For this, we associate to every generalized quadratic from a quadratic form on its underlying vector space. It is shown that this form determines the isotropy behavior and the isometry class of generalized quadratic forms.
متن کاملKleene modules and linear languages
A Kleene algebra (K,+, ·,∗ , 0, 1) is an idempotent semiring with an iteration ∗ as axiomatised by Kozen. We consider left semiring modules (A,+, 0, :) over Kleene algebras. We call such a left semiring module a Kleene module if each linear equation x = a + r : x has a least solution, where : is the product from K × A to A. The linear context-free languages can be viewed as a Kleene module A ov...
متن کاملOn the order of a module
Abstract. Let (R,P) be a Noetherian unique factorization do-main (UFD) and M be a finitely generated R-module. Let I(M)be the first nonzero Fitting ideal of M and the order of M, denotedord_R(M), be the largest integer n such that I(M) ⊆ P^n. In thispaper, we show that if M is a module of order one, then either Mis isomorphic with direct sum of a free module and a cyclic moduleor M is isomorphi...
متن کامل